A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and s...(展开全部)

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and s...(展开全部)

This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It ...(展开全部)

One of the most important of Jung's longer works, and probably the most famous of his books, "Psychological Types" appeared in German in 1921 after a "fallow period" of eight years during which Jung had published little. He called it "the fruit of nearly twenty years' work in the domain of practical psychology," and in his autobiography he wrote: "This work sprang originally fr...(展开全部)

達瑞爾·夏普 多伦多的荣格分析师，也是内在城市出版社（Inner City Books）的出版商兼编辑，毕业自苏黎世荣格学院，著有《秘密渡鸦：卡夫卡的冲突与转化》（The Secret Raven: Conflict and Transformation in the life of Franz Kafka）等书。

Meticulously crafted, student-friendly text that helps build mathematical maturity Mathematical Proofs: A Transition to Advanced Mathematics, 4th Edition introduces students to proof techniques, analyzing proofs, and writing proofs of their own that are not only mathematically correct but clearly written. Written in a student-friendly manner, it provides a solid introduction to...(展开全部)

Does your spouse's need to alphabetically organize books on the shelves puzzle you? Do your boss's tsunami-like moods leave you exasperated? Do your child's constant questions make you batty? If you've ever wanted to change your mate, your coworkers, or a family member, then "Put down your chisel," advise David Keirsey and Marilyn Bates in this book of personality types. We are...(展开全部)

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered includ...(展开全部)